Explicitly rename copied kernel to `kernel.bin`
Explicitly rename copied kernel to `kernel.bin`

Otherwise your `grub.cfg` from earlier in the article will be out of date (we're producing `kernel-x86_64.bin`, but grub expects `kernel.bin`).

phil-opp/blog_os,phil-opp/blog_os,rafalmiel/blog_os,phil-opp/blog_os,phil-opp/blog_os,phil-opp/blogOS,rafalmiel/blog_os,phil-opp/blogOS