f042dcb0a3
Previously all harts would be resumed at the end of examine(). Fixes #326. Change-Id: Id82b361e98f151911f8679538ee4b3c754efd6a5