/cpukit/score/cpu/i386/