Comment 15 for bug 1739498

------- Comment From <email address hidden> 2018-03-23 12:29 EDT-------
Hi,
I got my hands on a WS system and could boot kernel 4.13.0-38.43 with disable_radix kernel option
and I confirm that this issue does not appear anymore.
(I checked before that I actually got it with 4.13.0-37.42)

Regards,

F.