https://blog.al4.co.nz/2013/07/changing-boot-order-in-ubuntu-13-04-or-debian-the-easy-way/