Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
Anyway to shorten the F1 boot prompt duration?
I believe so, it's done via boot0cfg
From boot0cfg(8):
-t ticks Set the timeout value to ticks. (There are approximately 18.2 ticks per second.)