There is some code in the CVS, we have /boot working for hp700/80 at least. Kernel will be soon.
Contact Theo de Raadt if you are interested in working on this and need more information.