- don't enable 32-bit media by default on 64-bit systems (mga#24376) o except on systems with 32-bit EFI, where we need the Core 32bit media for the bootloader o and on systems with 32-bit packages already installed (mga#24438)