There are over 1.5 million active users of LineageOS, let alone other roms. A good chunk of these are Xiaomi. Not a trillion dollar market, but hardly 1000 users.