add reference linux kernel configuration