Yup. Got the same issue when running the new BIOS, and tracked it down to a race condition. The new BIOS doesn’t start supplying keypresses until a fairly long time after power-on, and my stage3 tries to read the keyboard immediately.
I’ve got a change that reads the keyboard for 0.5s before booting to the application, and it appears to be long enough on my unit to be able to consistently get into the menu without delaying normal boot noticably. That’ll go into the next release.