... and then there was a menu I forgot with the kernel option