Add option to use prebuilt kernel
Signed-off-by: PipelinerArd <kristoferard@gmail.com>