linux-stable-rt/arch/i386/mach-default
..
Makefile
setup.c
topology.c