minor edit to installing kernel headers