device-common: Skip prebuilt kernel

Change-Id: I66184852cdb81cc38d6dd4bad5727172f24d8c49
Signed-off-by: Evan Anderson <evan1124@gmail.com>