at91*: use correct u-boot configs