Dual kernels on Fedora-Server-netinst-armhpf iso

[John W. Himpel]

The Fedora Server WG is working on resolving https://bugzilla.redhat.com/show_bug.cgi?id=1963007 .

At today's Server WG group meeting, it was stated there are two different kernels on the armhfp iso's.  A normal kernel
and an LPAE kernel.  I volunteered to ask this list if:

1) Are two kernels indeed being loaded onto the netinst-armhfp images
2) If the answer to #1 is yes, are both images needed?

Thanks.