Does the NSA's SE Linux code need a review?