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.