Add info about x32 systems