moved kernel headers to bash lib script