Actually, it should work indeed, unless it lacks some Linux drivers or VT-d.