Main 32-bit kernel added with test output to prove it worked.