On Fri, Dec 16, 2011 at 03:29:17PM -0700, Marc Jones wrote:
The bootmenu is only useful if there are multiple devices. We can speed up theboot by a few seconds if there is only a single device to try to boot from. Signed-off-by: Marc Jones email@example.com
As Sebastian points out, this came up once before. I fear altering the timeout dynamically will cause confusion.
It's possible to tune the timeout via cbfs, and CONFIG_THREAD_OPTIONROMS can also "speed up" the timeout by allowing hardware init to run in parallel with the delay.