- arm: make sure the fat32 filesystem is created with the -I option
  + See mkdosfs for details on the -I switch. This finally fixes
    the boot problems on the Raspberry-Pi boards