https://bugs.freedesktop.org/show_bug.cgi?id=90537
--- Comment #10 from pstglia@gmail.com ---
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