Semplice kernel packaging.