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