restrictが正しく動作していない？

[admin]

HRP3カーネルのサンプルプログラム（sample1）で，シリアルポート1を呼び出せる保護ドメインをカーネルドメインのみに制限する restrict 記述を入れているが，それに対応するコードが生成されていないように思われる。

[restrict(eSerialPort={rKernelDomain})]
cell tSerialPort SerialPort1 {
    ...
};