K 10 svn:author V 4 jkim K 8 svn:date V 27 2011-04-18T23:12:41.863492Z K 7 svn:log V 172 Do not assume PM timer GAS type is I/O or memory. It may be an unsupported type, i. e., a broken table. Also, do not hardcode ACPI timer frequency in device description. END