[PATCH v4 0/3] Allow userspace to change ID_AA64PFR1_EL1