tree 568974eacdae6ced84909add5c27b73af6ec4516
parent 4f6008f8b02d3dc8d7e647071962808a116627c7
author Daniel Wang <wonderfly@google.com> 1579901793 -0800
committer Daniel Wang <wonderfly@google.com> 1579901793 -0800

Use lakitu kernel repo instead

Change-Id: I35e8088ae5ee9b4b991762242e59029dc0258f91