Better comment on disabled kernel options.