Fix kernel debug
Merge branch 'master' of https://github.com/Schischu/STLinux.BSP-Duckbox