config/arm: add platform config option