Path to generic x86-64 kernel headers

@alexgg thanks!