Integrated kernel build: use AOSP's prebuilts

Change-Id: I66ddc0dad60de6c3d4fec6dc3de7a87a32c34fe2