Ranlux code and bug fixes in kernel