1. 2013-11-26 [7] acpi timer trouble netbsd-po Joerg Sonnenb 2. 2013-11-15 [3] New CPUID_TO_{FAMILY,MODEL} macros. netbsd-po Masanobu SAIT 3. 2013-11-13 [18] Changing x87 precision to full 63bit as default netbsd-po Joerg Sonnenb