Revert "SELinux: build fix for 4.1"