Move kernel executable
The Sortix kernel should be called /boot/sortix rather than /boot/sortix.bin. There's no need for a file extension, really. (Also do this to MyOS and Meaty Skeleton, maybe also Bare Bones). The GRUB port will need to be updated. following-development(7) also needs an entry. The kernel(7) page also needs to be updated.