Sobre el parche para el kernel