fix prebuilt kernel ifneq

Change-Id: Idecfbc6f880187435889e29353b9c847e7514afd