We just only restore ttbr register, isn't it?