[ARM SMP] Add configuration option for ARMv6K processors