faq: Update on the 32 bits bug