Convert a few more kernel dump implementations to use the new API.