Add hal9000 kernel config.