12557 tod: NULL pointer errors
Reviewed by: Yuri Pankov <ypankov@tintri.com>
Reviewed by: Peter Tribble <peter.tribble@gmail.com>
Approved by: Dan McDonald <danmcd@joyent.com>

PSARC 2008/382 Fast Reboot
6714038 Fast Reboot support for x86 platforms

6309947 gcc and bpp don't get along
6310429 gcc and tod drivers don't get along

OpenSolaris Launch