16-bit kernel, montgomery bugfix