Powernow-k7 support

[Giuseppe Argentieri <giuseppe_(_dot_)_argentieri_(_at_)_spiro_(_dot_)_fisica_(_dot_)_unipd_(_dot_)_it>]

Hi,

Last November I sent this bug report:

http://marc.theaimsgroup.com/?l=openbsd-bugs&m=110000410207307&w=2

Here's an abstract:
***
I've got an Acer 1314LC laptop with AMD Athlon 2400+ CPU.
OpenBSD should be able to set cpu frequencies by powernow-k7
driver included in kernel GENERIC but dmesg shows that
powernow capabilities are not detected. 

This is the output of the command sysctl:

# sysctl hw.setperf
sysctl: hw.setperf:
value is not available

(...)
***

Some time later Thorsten Glaser sent me a patch that seems to solve some
pci bios interrupt routing issues. It works well, but it hasn't been 
committed into the tree, so I'm wondering if I will be able to apply it 
cleanly in OpenBSD 3.7.

Is there any chance for Glaser's patch to be committed into 3.7 ?

Sorry for my terrible English,

Goodbye

-- 
Giuseppe