x86: Make Dell Latitude E5420 use reboot=pci
[linux-2.6/linux-acpi-2.6/ibm-acpi-2.6.git] / arch / arm / mach-s3c2400 / include / 
tree5ec6f6e0be44485af84c03e53aa3ce0e8d99bdde
drwxr-xr-x   ..
drwxr-xr-x - mach