Add stubbed DDR3 core and convert to the ECP5 45