Add CFI annotations for better assembly debugging with GDB

The dwarf debug symbols allow .cfi annotations to help GDB better understand what's happening. This is generated by GCC for C and C++ code, but assembly code is an other story.

This issue to test if everything compiles fine on testbot.