Instructions for mainline qemu branch