does the IXP-42x have a unique CPU-ID and if so, does anyone know how to get at it via linux? I see that there is a 'Serial' defined in /proc/cpuinfo' but its all 0's Thanks, Tim