[fedora-arm] Dual kernels on Fedora-Server-netinst-armhpf iso