kernel-engine: Flush control file

Now the breakpoints are setup correctly.