[fedora-arm] Correction: Fedora 18 Remix for Genesi EFIKA MX Smartbook (not Smarttop) made available