[U-Boot-Users] [PATCH] ppc4xx: Fix misspelled CONFIG_440SPE/440EPX/GRX config options