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

Linus Torvalds fb2af0020a Merge branch 'for-linus' of git://git.linaro.org/people/rmk/linux-arm		%!s(int64=12) %!d(string=hai) anos
..
Kconfig	fb521a0da1 arm: fix up ARM_ARCH_TIMER selects	%!s(int64=12) %!d(string=hai) anos
Makefile	0577408839 arm: introduce psci_smp_ops	%!s(int64=12) %!d(string=hai) anos
virt.c	3883cbb6c1 Merge tag 'soc-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/arm/arm-soc	%!s(int64=12) %!d(string=hai) anos