[U-Boot-Users] [PATCH 4/4] PPC4xx: Add support for Korat PPC440EPx board