How to boot a machine into open firmware: