kernel: support large 64-bit pci membars, increase pc64 VMAPSIZE to 1TB
some kind of operating system.