Apply patch to fix serialization on ARM.