a6a34f8
- Make 64-bit kernel on 32-bit firmware work for x86 efi machines (pjones@redhat.com) - Don't install rdma bits on 32-bit ARM (#1483278) (awilliam@redhat.com)