BTW, Kernels used for dom0 boot and Kernels used for VM boot (if in-VM kernel is not used) are two separate things.
- The former Kernels are stored at /boot in dom0
- The latter Kernels are usually stored at /var/lib/qubes/vm-kernels
They are optimized and compiled for their specific use case.