Re: [PATCH 0/3] Patches to allow running u-boot on vocore2 board