https://cyanogenmods.org/forums/topic/lineage-os-13-redmi-4-primepro-marshmallow-rom/
LineageOS 13 for Redmi 4 Prime/Pro Marshmallow ROM