binary module build: use kernel headers from highest version