K 10 svn:author V 6 andrew K 8 svn:date V 27 2013-01-17T09:50:18.021596Z K 7 svn:log V 90 Default to the ARM EABI again rather than have it in both the enabled and disabled lists. END