I know that I can use OF to set the boot device. But as of now, I still use OS X as main OS on this box. And now I search a quick way to boot into MOS.