The MSI port to x86-64 added an interrupt routing bug that makes the
kernel not boot anymore on some machines.

Fix that.