Atmel at91sam9 and NXP lpc32xx are both all arm926t, so only show
then if that arm variant is selected.
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
This will build kickstart and s1l for the selected board and install
them alongside u-boot.
Signed-off-by: Alexandre Belloni <abelloni@adeneo-embedded.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>