updated kernel.img with fixed floating point routines.