I have a question about this: efi.c file: https://github.com/torvalds/linux/commit/7c4146e8885512719a50b641e9277a1712e052ff I see "No EFI environment detected" printed on screen before kernel boots, but I don't know what log it's saved in. It's not in dmesg, not in journalctl. Is it not logged at all?
