Add amd64 files for the ISA and PCI busses and adjust the header files