Fix bug in kernel foreign
Add Jazz C transitions logging