If you are multi-booting OSes on your computer and would like to speed up the boot by hotkeying your OSes rather than waiting for a bootloader, there might be a way even without direct manufacturer support.