kernel-engine: Report breakpoints

The basic version is working now.