fix prebuilt kernel ifneq

Change-Id: Iba95361ff0c4731f34e4990afc457f4b76360ba3