Merge "dumpstate example: use new lazy hal mechanism"