x86_64: prepare shared kernel/pci-swiotlb.c