I have send them an email asking for some information about the kernel and if it would be possible to modify the bootloader in a way that it loads the kernel without parameter when the timeout has expired. Maybe they answer... we will see.