https://thelinuxchannel.org/2023/10/linux-kernel-compilation-raspberry-pi-kernel-compilation/