Hi, good news! The patch found in the other thread [1] does fix the issue. Kernel 4.13 is booting now on corgi: I'll test 4.4 as countercheck. Regards Andrea [1] https://patchwork.kernel.org/patch/9944519/