Recommend closing this bug as won't fix. The information for AMD64 can be included on the UserNotes page.