selinux: sparse fix: declare selinux_disable() in security.h