С помощью коротких проводков мама-мама подключил к DE1-SoC wavesharовскую платку SD. После некоторых приключений, за которыми имел неудовольствие дистанционно понаблюдать svofski все заработало. У такого решения два плюса перед штатным модулем microSD: 1. Не нужен драйвер для HPS; 2. Можно использовать SD и microSD. Тем не менее, с огромным интересом бы посмотрел на версию с драйвером штатного microSD. РК86, кстати, тоже заработал.
Спасибо b2mу за наводку на waveshre и svofski за наводку на проводки и все остальные хорошие дела!