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.
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.