drivers/interceptor/linux_versions.h: fix build