This where we should get kernel prebuilts instead.
Why the sample?