Default boot kernel change

If you use systemd-boot take a look here:

1 Like