56e71a1ca7
For prebuilt kernels, point TARGET_KERNEL_HEADERS_SOURCE to the dummy kernel source used to generate headers for HALs. Change-Id: I95a1050a7e0650faac112724b7bd6a300cdb6e4a