Add stubbed DDR3 core and convert the ECP5 45