common: some minor changes to arch.h