Now that the default is 'enabled,' a separate command line option for ARM is