c_examples/cpuid: add more CPU flags
verification: add a simple Frama-C example
linux_examples: no longer compile seccomp if UAPI header is missing