~~Tangentially unrelated, but the cross-builds are failing due to these new registers not being exposed yet (`ID_AA64MMFR4_EL1`, `ID_AA64MMFR4_EL1`, and `ID_AA64PFR2_EL1`), I might need to test it on real hardware.~~
EDIT: Fixed in f12952eaeeba706725d888a46ff24baa2ac420d7