use a prebuilt kernel

Signed-off-by: drgravy <drg113001@gmail.com>