It would also be useful to see the X logfile attached for x86_64, where the builting modeset(ting) driver apparently magically works ...