Install debug package for the default kernel