x86/reboot: Skip DMI checks if reboot set by user
[linux-2.6.git] / arch / alpha / 
tree2bea64a99400b3fcabfe065649348d4b57b6aacb
drwxr-xr-x   ..
-rw-r--r-- 19595 Kconfig
-rw-r--r-- 1355 Kconfig.debug
-rw-r--r-- 2258 Makefile
drwxr-xr-x - boot
-rw-r--r-- 1558 defconfig
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - math-emu
drwxr-xr-x - mm
drwxr-xr-x - oprofile