tree b401d067cfe825a7e10a78225a9c6ca353b79054
parent 221c07fea8cea8954c7cb18c2985a679d61f3ad5
author Michael Brooks <michaelbrooks@google.com> 1558444375 +0000
committer Michael Brooks <michaelbrooks@google.com> 1558444691 +0000

Enforce linux-headers version (>=4.9)

* This helps ensure that if a RPi attempts to download linux
  headers it won't use that horrible 3.6-trunk-rpi that kills
  dkms.

Change-Id: I8fd5b1b2b71a1ed2dfb85fe6f1f9f72628769944