/libc/config/uefi/