add prebuilt for faux kernel