Fix TARGET_PREBUILT_KERNEL

Change-Id: I26a54d9b92362f9c21198f1c8823fc36dbb6d98f
Signed-off-by: Michael Wright <michaelwr@google.com>
1 file changed