This should probably get removed since there aren't any other platforms which could be supported since SElinux is pretty limited in its supported platforms.