Update arch.h