PDP10: Add missing updates from prior commit