[Documentation] Kernel choice in IPFire 3.x