Comment 2 for bug 1739498

------- Comment From <email address hidden> 2017-12-21 06:42 EDT-------
Hi,
FYI I tried to patch kernel 4.13 of 17.10 with the patch that Aneesh mentioned but this error still happens at boot time.

F.