Merge "fix(arch.h): fix TCR_EL2_TG1_4K constant value" into integration