tree 25de3ed2a3e000cea1e8bddfdef644ae83b50f02
parent 240ce0744e86a1226111fff50382b62957ea3d3e
author Erick Reyes <erickreyes@google.com> 1534456540 -0700
committer Erick Reyes <erickreyes@google.com> 1534456540 -0700

kernel headers sanity check

Print out an error if the user is trying to use kernel headers for a
different major version

Signed-off-by: Erick Reyes <erickreyes@google.com>