Consumer Device Case Study CC EAL5+ for a high-assurance mobile OS enabling flagship security branding