Merge branch 'arm-devs.next' of git://git.linaro.org/people/pmaydell/qemu-arm