Added Olimex sd card kernel configurations

Extracted from the running Olimex SD card.