in che senso?
vuoi ricompilare il kernel o mettere quello già precompilato di Patrick?