[U-Boot-Users] [PATCH 1/3] ppc_4xx: Add MCU25 board. Infrastructure