Added current working kernel configuration