The Linux screen driver should also force release the keyboard keys in response to the RESTARTBRL command. (dm)