no need for the kernel source, since we use a prebuilt one