Example kernels are now installed in system data dir (OS-indep.)

Other build and doc improvements