Index: sys/conf/files =================================================================== --- sys/conf/files +++ sys/conf/files @@ -3535,7 +3535,6 @@ dev/xen/console/xen_console.c optional xenhvm dev/xen/control/control.c optional xenhvm dev/xen/devicetree/xen-dt.c optional xenhvm fdt -dev/xen/efi/pvefi.c optional xenhvm efirt dev/xen/grant_table/grant_table.c optional xenhvm dev/xen/netback/netback.c optional xenhvm dev/xen/netfront/netfront.c optional xenhvm Index: sys/conf/files.x86 =================================================================== --- sys/conf/files.x86 +++ sys/conf/files.x86 @@ -272,6 +272,7 @@ dev/qat/qat_dh895xcc.c optional qat dev/qat/qat_hw15.c optional qat dev/qat/qat_hw17.c optional qat +dev/xen/efi/pvefi.c optional xenhvm efirt libkern/x86/crc32_sse42.c standard # # x86 shared code between IA32 and AMD64 architectures