Intel amd64-compatible machines today do not fully conform to the specifications that the amd64 codebase uses to find & handle processors and interrupt routing and such.
Intel still wants people to use the old old 32-bit only ways, or stupid ACPI. I don't know of anyone looking into this at the moment.
