[U-Boot] EBC_NUM_BANKS for Virtex5 PPC440?