`reboot` command works: fixed gpio_keys device structures to not be in __initdata sections, so that they don't get freed and overridden and are valid at shutdown time; enabled CONFIG_SPARTAN_RESET_SPI flag so that ICAP reset code performs a SPI reset.