debian and HP

So. HP is finally going to provide some more Debian support. Very good. And basically just what I want; I don’t need paid support. I just want Debian packages for their hardware monitoring tools. I want the necessary drivers to be in the stock kernel, but having at least some basic Debian support is a start. HP, are you listening? Just get the drivers into the stock kernel and maintain them. The community will do the rest.