ARMAsmPrinter.cpp: Try to fix up r148686. EnableARMEHABI was also here.