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

Anup Patel 5ae7f87a56 ARM: KVM: Allow host virt timer irq to be different from guest timer virt irq		%!s(int64=12) %!d(string=hai) anos
..
arm_arch_timer.h	5ae7f87a56 ARM: KVM: Allow host virt timer irq to be different from guest timer virt irq	%!s(int64=12) %!d(string=hai) anos
arm_vgic.h	7275acdfe2 ARM: KVM: move GIC/timer code to a common location	%!s(int64=12) %!d(string=hai) anos