[SOLVED] No sound in Xiaomi MI A1

/e/OS Devices Xiaomi
22

When I tested this out the step that I followed are documented here. As mentioned there I formatted and then wiped system + data + cache before the install.