scarce -make the boot timeout patchable -optionally, call checkpasswd() before the boot menu can be accessed (The latter 2 follow PR port-i386/8196 by Stephan Thesing.)