ASTgen : arm32 : mul and smull

[brk]

Attempting to generate an AST for the attached executable (via the codehawk.sh script) fails with the following message:

========= Function 0x1051c ================
================================================================================
AST generation is still experimental with limited support.
We don't yet support the following instructions in post (0x1051c)
--------------------------------------------------------------------------------
MUL
  0x10570: 910200e0  MUL R0, R1: R0 := (R1 * R2) (= (0x2a * rtn_clock))
SMULL
  0x10584: 9213c0e0  SMULL R1, R0, R2, R3: (R1,R0) := (R2 * R3) (= (rtn_clock * gv_0x105c0_in))
--------------------------------------------------------------------------------