tree b78add798679b199bc8a997ee21b5f35798d9b9f
parent 70472d52b0ffa73ebf95788e0229834888efdcfe
author Chirayu Desai <chirayudesai1@gmail.com> 1612017512 +0530
committer Jackeagle <jackeagle102@gmail.com> 1696736234 -0400

Replace device_kernel_headers with generated_kernel_headers

* For inline kernel building
* Avoids having to make edits to multiple repos, even
  if it's a quick replacement

Change-Id: I01d4a9b3e24315731efbc8d16882818d20e38e89