Possible bug in DDR SDRAM init code for VT8623?