You have to choose "boot seabios" or "load config ecc.", in those cases it will boot the latest kernel, while with the previous options you boot the stock, updated, Trisquel kernel.

Reply via email to