Да есть оно там (не знаю, как в мануале к 9.5, к 8.02 в разделе 2.5.2.2 Preparing the code for split compilation).
#pragma psect text%%u=sn означает, что данная программная секция будет обзываться не text№ (где № - просто номер данной текстовой секции в порядке обработки компилятором), а sn. Вместо %%u компилятор подставит №.
Кста, сразу не сообразил, более короткий вариант может выглядеть примерно так:
sn.c
#pragma psect const%%u=sn
const uchar SN[] = {...};
Но этот вариант короче только в си-шном исполнении. То, во что компилятором было раскручено обращение к SN[], мне не понравилось - на ассемблере существенно компактней.

Если не секрет, предполагается использовать ProMate или что-то более другое, поддерживающее сериализацию при прошивке контроллеров?
Я использую EPIC он отлично поддерживает прописывание серийника.
К стати он при программировании не затирает калибровочную константу для RC генератора (в отличии от Фитона)