The menu part is the task of the payload. If you compile Coreboot with a payload you can get a menu no problem. EDK II, Seabios or grub payloads all support this.

If you want to you may want to point your vibes for vibecoding towards making a libpayload universal menu for Coreboot , that way you at least conform with the architecture.