kernel: don't build for TARGET_NO_KERNEL targets

Change-Id: I14ad45c06922c0775e0574ddbcfcdc33353af465
1 file changed