Twitter user reports being downgraded to 32 bit. How to tackle this?

SUMO
#1

https://twitter.com/piggybox/status/916175294490218496

How can I help this user? Asking for a crash report does not seem the best approach.