AT91: Replace (undefined) AT91_ID_US* by the board specific values.