Use alternative function for dumping CPU state