Re: [OS-BUILD PATCHv2] redhat/configs: Set PVPANIC_MMIO for x86 and PVPANIC_PCI for aarch64