Commit 2ad04ce5 by Florian Fritz

Add minor changes for ARM platform.

parent 0b4580ee
Pipeline #1272 passed with stages
in 3 minutes 56 seconds