[kata-dev] Guest kernel and CONFIG_PCI_MMCONFIG