Re: [Fwd: Re: DE0-Nano-SoC boot fails on 15.3]