Waldemar Brodkorb b257e92d97 fix rpi1 bootup 10 lat temu
..
config b257e92d97 fix rpi1 bootup 10 lat temu
patches ed130c4bcc add realtime patch to 4.1.x kernel 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