Ranlux initialization kernel fix