Revision 1454630

- 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)