do not use num_cpus to determine innodb_* flags