Re: [Documentation] Kernel choice in IPFire 3.x