Set kern.bootfile manually since we don't get it set properly from GRUB