https://www.gentoo-linux.de/2017/11/24/kernel-fehler/