mvebu_get_soc_id
if (mvebu_get_soc_id(&dev, &rev) == 0 && rev > MV78XX0_A0_REV)
int mvebu_get_soc_id(u32 *dev, u32 *rev);
if (mvebu_get_soc_id(&dev, &rev) != 0)