Would we be able to see a fedora image with the `spx` kernel version and working `grub` version to use instead of arch?