sun4v:
- 32-bit kernel support
