1. f441fb7 ARM: socfpga: move CONFIG_BOOTDELAY to Kconfig for IS1 board by Masahiro Yamada · Mon Jun 27 16:22:59 2016 +0900
  2. 9802e87 ARM: socfpga: add support for IS1 board by Pavel Machek · Tue Jun 07 12:37:23 2016 +0200