Kernel source for Linuxium Ubuntu RFS (T-r42 modded)