@Natanox Well, haven't compiled a Linux kernel, but have used it since 2001 ... now mostly with Chromebooks...