* linux-tkg: Install configuration used. * linux-tkg: Document the installed config file.
No alternative CPU scheduler, Fsync or Nvidia prop blobs support