Add minor changes for ARM platform.

4 jobs from master in 3 minutes 56 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #3194
build_cmake

00:42

 
  Test
passed #3195
run_tests

00:42

 
  Sanitizer
passed #3197
run_address_sanitizer

01:32

passed #3196
run_thread_sanitizer

00:58