При запуске 64-разрядной guest-системы (например, Centaurus 7) на 64-разрядной host-системе с процессором AMD (AMD FX(tm)-6100, AMD Athlon(tm) 64 X2 и др.), ядро виснет с сообщением "Remote IPI: OK // Local IPI: …" Всему виной файл VMMR0.r0 Соответствующий файл можно выковырять из бинарных пакетов с сайта virtualbox, но подходит только из пакета для rhal5 и generic инсталлятор, а, например, для RH6 и для FC дают тот же эффект. При использовании GCC 4.5 ошибка пропадает.
Поднял "Важность": не работает же!
virtualbox-4.2.16-alt2 -> sisyphus: * Mon Sep 09 2013 Fr. Br. George <george@altlinux> 4.2.16-alt2 - Switch back to GCC 4.5 (Closes: #29344)
TWIMC: напоролся на virtualbox из debian -- похоже, там все залезли на деревья.