[U-Boot] [PATCH 0/3] ARM: Add support for EDB93XX boards [rev2]