I tested https://bugs.freedesktop.org/attachment.cgi?id=137730 on a kernel-4.15 but doesn't fixed my boot problem .