Update location of prebuilt kernel path

Change-Id: I79a7df03c042759d761409fcdd6bfa1eb231e1d3
1 file changed
tree: d6dd3ef9573ce25d21eda12f2b15973a9f13f224
  1. arm/
  2. mips/
  3. x86/