Speed up Embedded Development on an arm64 Host

Nowadays there are fast computers with arm64 architecture. It is high time that these computers are used profitably for embedded development.