/* kernel configuration ID */