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