K 10
svn:author
V 6
adrian
K 8
svn:date
V 27
2015-08-24T19:09:56.043262Z
K 7
svn:log
V 184
Enable hardfloat for assembly generation.

gcc versions later than 4.2 started erroring out on seeing hardware
floating point references when soft-float was enabled.

Reviewed by:	imp

END