mk: change dpaa2 machine flag to cortex-a72