https://bisacloud.my.id/posts/setting-default-kernel-in-linux/