Спасибо, уважаемые коллеги!
DDR3 запустить удалось, правда, на пониженной частоте. Исполняемый файл теперь запускается. Главная ошибка состояла в том, что в EDK у меня был неправильно указан тип памяти (...187 вместо 125). Из-за этого вообще не работало.
Мораль та же - если стандартный тест проходит - это еще мало, что значит.