prebuilt kernel and modules, workaround...