show available linux kernel headers