absolutely normal. Output from a IP440 and IP650.  procfs is set during runtime by ipso.  I think (not sure) these parameters can be adjusted via ipsctl

NOKIA440[admin]# df -k
Filesystem  1K-blocks     Used    Avail Capacity  Mounted on
/dev/wd0f      398559   184657   182018    50%    /
/dev/wd0a       32303      131    29588     0%    /config
/dev/wd0d      856511   162996   624995    21%    /var
/dev/wd0e      210879   120805    73204    62%    /opt
procfs              4        4        0   100%    /proc
NOKIA440[admin]#

NOKIA650[admin]# df -k
Filesystem  1K-blocks     Used    Avail Capacity  Mounted on
/dev/wd0f      599941   226680   325266    41%    /
/dev/wd0a       38193      137    35001     0%    /config
/dev/wd0d     3371978   273698  2828522     9%    /var
/dev/wd0e      662249   104533   504737    17%    /opt
procfs              4        4        0   100%    /proc
NOKIA650[admin]#