Investigating a stack state mismatch in Linux kernel

* Alexander Popov:

Of course, there is a naive solution for this issue -- just skip stackleak
instrumentation for acpi_duplicate_processor_id(). But it would be great to find
out the reasons behind this compiler behavior. It might help to create a better
solution.

Please show us the RTL dumps with both compilers, both before and after
the plugin pass.

Thanks,
Florian