xen: remove trailing newline form xenirq thread's name

It screws up 'trace list' output:

0xffff80003ef1f030 xenirq0
         0         0.000035096 timer_cancel         timer=0xffff80003f4fa788

Signed-off-by: Tomasz Grabiec <tgrabiec@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
aarch64: exceptions: enable PPIs and SPIs separately

enable PPIs in batch on cpu init, but instead enable
single SPIs only later in the boot process when needed.

Signed-off-by: Claudio Fontana <claudio.fontana@huawei.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
drivers: pl011: implement data input path

allows reading incoming data from the pl011 device.

Signed-off-by: Claudio Fontana <claudio.fontana@huawei.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>