Pending rpi-firmware update, user can now select different video
modes (preferred/safe, hdmi/composite) using number keys on keyboard.