This fixes the ARM floating point issue.
tree19e7e169461050942aa9165d5095ddb35d1ac6d9
drwxr-xr-x - cegcc