Mark some more files to be compiled as ARM instead of THUMB.
(likely-to-be register intensive code)