Update SELinux patches