Hi Sven,
Were you able to resolve your Linux boot problem on this board. Let me know what steps you took to resolve this.
Thanks,
Hamid Marshall