This adds a 32-bit equivalent configuration of ppc64-e5500 board. Signed-off-by: Bin Meng <bmeng.cn@gmail.com> Reviewed-by: Romain Naour <romain.naour@gmail.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>