[PATCH 4.19 01/72] selinux: use kernel linux/socket.h for genheaders and mdp