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