Hello Jose, you wrote the following lines:
lib/efi_selftest/efi_selftest_esrt.c:124: efi_st_error("ESRT field mismatch for entry with fw_class=%pUl\n", lib/efi_selftest/efi_selftest_esrt.c:131: efi_st_error("ESRT field mismatch for entry with fw_class=%pUl\n", lib/efi_selftest/efi_selftest_esrt.c:138: efi_st_error("ESRT field mismatch for entry with fw_class=%pUl\n", lib/efi_selftest/efi_selftest_esrt.c:145: efi_st_error("ESRT field mismatch for entry with fw_class=%pUl\n", %pUl will print the address value of fw_class and the string "Ul". See lib/efi_selftest/efi_selftest_console.c which has no support for printing GUIDs. Best regards Heirnich