seoul: add kernelbuild run script