raspberrypi inclusion
category: feature
bugzilla: 50432

--------------------------------

IRQ-CPU mapping is round robined on ARM64 to increase
concurrency and allow multiple interrupts to be serviced
at a time.  This reduces the need for FIQ.
Signed-off-by: NMichael Zoran <mzoran@crowfest.net>
Signed-off-by: NFang Yafen <yafen@iscas.ac.cn>
Signed-off-by: NZheng Zengkai <zhengzengkai@huawei.com>