Fix buildkernel with 'options KTR' in the config.