x86: make amd.c have 64bit support code