[U-Boot-Users] [PATCH 0/3] PPC: Barco SMD 8245/8347E boards