Mijn ervaring is, dat wanneer e een keuze gemaakt kan worden (meer OS'en en/of kernels) dat dan het menu komt, hier is niet veel aan te doen dacht ik.
Hier heb ik het op 3 seconden gezet, dat is (voor mij) net lang genoeg om eventueel een keuze te kunnen maken.