[MariaDB docs] Re: mariadb kb on hyperthreading