[Bug 1105271] Kernel 4.4.143-65-default does not boot on Dell Precision T5810 (Xeon E5-1620 v3)