Finished off formatting in 16-bit kernel.