If the program contains inline assembly, clang does output a single
instruction into the PML file with the label INLINEASM. This is of
course wrong for the WCET analysis. Therefore, extract-symbol now tries
to resolve these sequences from the objdump.
