Files
linux/arch/tile/kernel/setup.c