Xiaomi 14 and Xiaomi.eu ROM — is it worth it?