ARM11: per-core options should not be global