Fix Xen PV bootloader config check.