kernel manifest: switch back to stock AOKP source