https://blog.semplicemente.io/customizing-the-linux-boot-loader/