Note: Latest ArchLinux image (2014_05) does
not boot on a FAT32-filesystem, booting
ARCH_2014_04 works fine (UEFI-mode).