If both prebuilt kernel and prebuilt kernel headers are provided, assume that they match. Change-Id: I8818659bd4642aa20260ff638d4a0c3f2b56a463
If both prebuilt kernel and prebuilt kernel headers are provided, assume that they match. Change-Id: I8818659bd4642aa20260ff638d4a0c3f2b56a463