Anonymous 10/04/2017 (Wed) 04:50:35 No. 11513 del
Apparently GRUB is now the default bootloader?