Add texlive stuff
ktouch: fix dirpaths once more
Update default kernel to 3.12.10.opinsys4

Changes:
- Intel MEI as a module not built-in
- RPC debugging enabled
Update edge kernel to 3.14.1.opinsys1
Add kernel version alias 'stable'
Update stable kernel to 3.10.37.opinsys2