tree 920904f3fc787874f857d2b7d5e9025ff79b0797
parent 0d4eb1af538b3bff32f62f6beb445568c750bdbd
author Christopher Ferris <cferris@google.com> 1540843350 -0700
committer Christopher Ferris <cferris@google.com> 1540843350 -0700

Regenerate headers after .in file change.

For the v4.19 kernel header update, a change from upstream was needed.
Cherry-pick that change and regenerate the headers.

Test: Builds and boots.
Change-Id: Ied54cd1b7b5b97f4284a294ad3a2649096ce8399