[U-Boot] PATCH: bugfix for reading maximum TLB size on mpc85xx