[PATCH v3 04/28] efi_loader: Add comments where incorrect addresses are used