Ejecuta config(8) para generar el código fuente del kernel.