MySQL Cache Manager: Save and restore InnoDB Buffer Pool contents