How much available memory after installing Xiaomi.eu Rom on Redmi 4 Prime?