platform/manifest for my own customized Venturi aka Galaxy Player 5.0 Custom ROMs