device: kernel prebuilt stuff