Make sure that innodb_buffer_pool_size is never smaller than 64M - fixes #423 by pricejn2