Fixed grub binary download link (#1)
Fixed grub binary download link (#1)

Co-authored-by: Someone <934eb3ed1523ee31b339cbfaa19fe46fdcd2dbd5@gmail.com>
mattmassicotte/kernel-tutorial,mattmassicotte/kernel-tutorial