Merge pull request #304 from aalugore/master-next

Enable IPL-time Checkstop analysis for Palmetto, Habanero, and Firestone