K 10 svn:author V 6 andrew K 8 svn:date V 27 2013-08-17T15:09:14.261886Z K 7 svn:log V 119 Remove the ARMFPE option. It is unsupported, and appears to be broken as arm_fpe_core_changecontext is not a function. END