Hi Jóhann,
These are great links, thanks!! So to summarize:
On 03/11/2013 05:11 PM, "Jóhann B. Guðmundsson" wrote:
The last case these guys go over is the one we care about. They
consolidated all the options into a single 'boot options' menu. Their
solution is instead of triggering the boot options menu during boot,
that you click on a button in the desktop UI that reboots you into
'advanced startup' mode which shows the boot menu by default.
They appear to have an entire menagerie of keys you can press during
startup to access various modes and controls. Seems very un-Apple like
though to have so many different modes...
~m