https://iotgadgets.com/2011/08/xbmc-running-nvidia-tegra2-trimslice-arm-hard-floating-point/