SELinuxを使い続けたいが、Ubuntu+SELinuxの実績はどうなんだろ