Some minimum critical fixes for x86-64:

- Make it compile for uni processor again
- Tell BIOS about long mode
- Fix 32bit IPC (broken by earlier patch)