Make Mini-OS work on x86_64 again