How to change display on subsequent boots

See Issue #180 for proposal to recognize number keys at the OS selection screen, removing the need for this workaround.