From https://github.com/MariaDB/mariadb-docker/issues/338 and for @jmburges, @stoinov and others. The result of this lack of initialization to 1 is a SIGILL on workloads like MariaDB as they attempt to obtain timing information. The above issue has a working kernel module (bottom of issue) to set the cpu registers. If you could make @geoffreyblake 's module available or rework the initialization in for each CPU into the core code that would be most appreciated.