[PATCH 0/8] efi_loader: simplify printing GUIDs