fix boot using QEMU ~1.5.0