[PATCH 1/1] efi_loader: remove outdated TODO in efi_memory.c