Only 13 patches received!
hw/arm/armv7m.c | 36 ++++++++++++++++--------------------
hw/arm/exynos4210.c | 4 ++--
hw/arm/highbank.c | 3 ++-
hw/arm/integratorcp.c | 5 ++---
hw/arm/realview.c | 2 +-
hw/arm/sbsa-ref.c | 3 ++-
hw/arm/versatilepb.c | 5 ++---
hw/arm/vexpress.c | 6 ++++--
hw/arm/virt.c | 24 ++++++++++++------------
hw/arm/xilinx_zynq.c | 2 +-
hw/cpu/a15mpcore.c | 17 +++++++++++------
hw/cpu/a9mpcore.c | 6 +++---
target/arm/cpu.c | 3 +--
13 files changed, 59 insertions(+), 57 deletions(-)