[U-Boot-Users] [PATCH 9/9 RESUBMIT] Add support for Korat PPC440EPx board