tree 91f11e953079f9b8c5da4dee70dc7ef4af8d9b11
parent 723b13692e1597f16a3757e359ebed863f7acf9f
author David Brazdil <dbrazdil@google.com> 1562159944 +0100
committer David Brazdil <dbrazdil@google.com> 1562160219 +0100

Update Linux kernel prebuilt

Latest commit in third_party/linux was tagged as v4.19.13. This changes
the kernel's vermagic value, thus requiring the prebuilt to be updated.

Change-Id: I7abb7e133c190a3423e28b45bc42dc2c1ccaf6e0