Serialization: Serialize SPARC PTEs last so their nameOut() calls don't interfere...