Serial console with qemu/realview-eb