am 3107d727: Merge "Remove notes about fixing a kernel header"

* commit '3107d7274a56047d5e6e850ebcacdb8875aaa435':
  Remove notes about fixing a kernel header
tree: 4ff6d6028673531400facbc7aa9c75ecee36d12d
  1. scripts/
  2. src/
  3. templates/
  4. .gitignore
  5. CleanSpec.mk
  6. README