Architectures ARM
https://wiki.debian.org/ArmHardFloatPort