util/cbfstool/fmaptool: Generate list of terminal sections