Use constants for "documented" kextstat