GfA/linux_kernel: linux kernel based on RobertCNelsons patchset https://github.com/RobertCNelson/bb-kernel @ a4dd4ddd4b4f2a7f4e08d29f2c2fa46c8f5ce379

Andre Przywara ac3d373564 arm/arm64: KVM: allow userland to request a virtual GICv3		11 lat temu
..
arm_arch_timer.h	05971120fc arm/arm64: KVM: Require in-kernel vgic for the arch timers	11 lat temu
arm_vgic.h	ac3d373564 arm/arm64: KVM: allow userland to request a virtual GICv3	11 lat temu