Fix update_records kernel shared memory allocation.