> И сначала хорошо бы посмотреть загружаемый размер секций,
> а потом уже рассуждать, что там что содержит.

При сборке подтягивается соответствующий код загрузчика. А какой он должен быть, если у него задача тривиальна?

> Пробовали?

Регулярно так и делаю.

> "Some UEFI implementations however seem to not support passing parameters from the
> NVRAM to the EFI stub kernel."

Кривые прошивки существовали всегда и для всего. Это не повод не применять стандартный инструментарий. Сам с таким не сталкивался, но полагаю, что запуск с параметрами в командной строке можно завернуть в EFI-shell-скриптовый файл, и его уже прописать на запуск.