[syslinux] About syslinux and ID byte for kernels

[Giulio Orsero]

syslinux.doc:
"...To bzImage and recent zImage kernels, SYSLINUX 1.30 and higher will
identify using the ID byte 0x31.  PXELINUX identifies using the ID
byte 0x32, and ISOLINUX 0x33.  The ID range 0x34-0x3f is reserved for
future versions or derivatives of SYSLINUX...."

Is this info available after boot in /proc or similar, or is it just
something the kernel is told and keeps for itself?

Thanks

-- 
giulioo at pobox.com