gdb/linux-record: Fix struct sizes for x32