../drivers/net/vxlan/vxlan_core.c:392:34: warning: incorrect type in argument 2 (different base types)
../drivers/net/vxlan/vxlan_core.c:392:34:    expected unsigned int [usertype] b
../drivers/net/vxlan/vxlan_core.c:392:34:    got restricted __be32 [usertype] vni
../arch/x86/boot/version.c:18:12: warning: symbol 'kernel_version' was not declared. Should it be static?