SQL: Do not run update_innodb_log_file_size() if the size is the same as before.