revert using faux prebuilt kernel