And given the history of BIOS as a concept, I guess that isn’t too surprising.

I wonder how much of that kind of thing stems from the fact that many of the really hardcore PC tinkerers aren’t using ARM (yet).