update prebuilt kernel
* scheduler update
propfiles: we don't need mfgtest