Re: [U-Boot] [PATCH 4/9] ARM: pleb2: re-add MACH_TYPE_PLEB2