Linuxカーネルを自前でビルドしている場合、grubなら/boot以下にvmlinuzなんかを置いたあとにgrub-mkconfigでgrub.cfgをアップデートすればブートメニューに新しいカーネルが反映されますが、gummiboot/systemd-bootの場合は/boot/loader/entries/*.confにフ…