7161 uefi reboot needs to use acpi_reset_system() if available
treeb924dbb14663ee3629d6410cdb314e0abbe4f5f9
-rw-r--r-- 573 .gitignore
-rw-r--r-- 917 .hgignore
-rw-r--r-- 6465 .hgtags
-rw-r--r-- 1949 README
drwxr-xr-x - exception_lists
drwxr-xr-x - usr