seoul: add kernelbuild run script
os: example trace policy-modules
fixup for "os: example trace policy-modules"