Cf. https://bugzilla.kernel.org/show_bug.cgi?id=14667#c97 and https://bugzilla.kernel.org/attachment.cgi?id=26030 It may fix the booting problem.
Cf. https:/ /bugzilla. kernel. org/show_ bug.cgi? id=14667# c97 and https:/ /bugzilla. kernel. org/attachment. cgi?id= 26030
It may fix the booting problem.