ARM: PRIMA2: use DT_MACHINE_START and convert to generic board