[PATCH 08/11] at91: Switch to SD_BOOT / CONFIG_NAND_BOOT