Re: [U-Boot-Users] PPC440 Floating point?