K 10 svn:author V 3 ian K 8 svn:date V 27 2013-10-16T14:24:22.048791Z K 7 svn:log V 161 Fix a register name typo. The effect was that CPU_CONTROL_AFLT_ENABLE wasn't being set, but it was almost assuredly already turned on anyway by the bootloader. END