vendor_aicp: Add GalaxyS4 Mini (serrano3gxx & serranoltexx) to the family


Change-Id: Ie6b68d2986ba86d53ba4fc5753b29d072be830c0