Fixed some bugs affecting a few processors.  Reboot the official release
date (for the last time) to be 2015 Feb 16.