Waldemar Brodkorb b0e2112c46 allow to choose kernel symbol %!s(int64=10) %!d(string=hai) anos
..
config b0e2112c46 allow to choose kernel symbol %!s(int64=10) %!d(string=hai) anos
patches e5ca8420af linux: update 4.1.x to latest stable upstream version %!s(int64=10) %!d(string=hai) anos
Config.in ce956d0f96 do not enable PCI in kernel by default %!s(int64=10) %!d(string=hai) anos
kernel.config a8cfd5d214 enable VDSO globally %!s(int64=10) %!d(string=hai) anos
kernel.control afab289b26 add some native build fixes (tested on Lemote notebook) %!s(int64=15) %!d(string=hai) anos