Making some kind of trivial kernel patch in vim, compiling, reconfiguring the bootloader, and then successfully rebooting into the new kernel