Diagnosing and Fixing a Page Fault Performance Issue with Arm64 Atomics