QEMU patches for Raspberry Pi