//usr/share/syslinux/cpuid.c32