> BTW: Is it sufficient to put the ISO on an USB stick with usb-creator-gtk to
> get a bootable Android?
>
> If yes then I'm clearly going to try that sooner or later.
Never tried usb-creator-gtk. But "dd" works just fine (/dev/sdb is the device
mapped to my usb flash drive):
dd if=android-x86-5.1_kernel_4.0.3_mesa_10.5.4_radeonsi_test_20150521.iso
of=/dev/sdb bs=65535