Updates to make U-boot correct for aristeus