Ok,
after all the efforts, still the same result.
Attached is the grub.cfg I've added to the coreboot rom image. I think I got
it from Libreboot.
I searched for a while about a way to boot the liveCD from grub> , but no
success, even if I identified the optical drive.
Point being, if the menu fails to be displayed, I'd rather focus on fixing
the grub config instead of trying to boot with a faulty config.
As usual, any hint appreciated.
I'll tone down the complaining since it doesn't make anything happen anyway.
I'll try only patience and persistence instead.
