mako: update prebuilt kernel

ef719fc USB: ci13xxx_udc: Don't free dTD immediately after active bit is cleared

(The baseline for the previous prebuilt is
9260ab9625536043d92a418d12d408222fc565ee, not 42bc76b.)

Bug: 8474619
Change-Id: I2a71fce37b4216e05b99a51b4107bf58b4410dc2
Signed-off-by: Iliyan Malchev <malchev@google.com>
1 file changed
tree: 83e7e8752866172e02fbf326b9d6857b8fbc8828
  1. kernel