Symbol: bcm283x_vcbus_to_armc