Fixing .arch_extension sec missing from asm