kernel/include/config/PVPANIC_PCI