ARM: ux500: Allocate correct amount of memory for the u8540 in DT