Hi, after 2-3 days of a working Lion system with my Asrock P45DE, I think the patched DSDT from the P43DE works fine. The system is really stable, speedstep works, monitoring is ok, all that should work are ok.
The only thing not working yet but does not bother me at all is waking up from sleep, which may be a graphics card problem after all.
Thank you guys, you may add the P45DE mobo to your patch list with the same P43DE patch.