Add amd64_x32_linux_record_tdep and amd64_x32_sys