use 8Go for innodb_buffer_pool_size

(not to be merged)