Stock seabios-0.6.2 debian/ and seabios_0.6.2-0ubuntu2.1.dsc
Provide more time to press F12 to select boot device; always show boot menu