innodb_buffer_pool is now dumped/restored automatically on shutdown/start-up