Bill Hoggett:
We still don't know if it will run on the BIOS Hyperion are said to have "fixed"
Not fixed, ported. And strictly speaking it's not a BIOS: those only exist on x86 machines. Everyone else has firmware (apparently that's the fashionable word muttermuttermutter). Sorry, rant. But yes, you're right (this bit applies to the whole post).