[C2hs] patch applied (c2hs): move asm external decl production to a better non-terminal