K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2014-05-19T16:13:40.462347Z
K 7
svn:log
V 102
Add ARM_EABI to the list, since arm kernels need it

# Note: MK_ARM_EABI likely is going to die soon.

END