If you get tired of patching custom versions of Asterisk, you could try to Chan-SCCP-P driver. It supports native SKINNY mode and works with the “non portable” SIP versions of the 88xx series phones. The information on using it instead of having to custom build Asterisk kernels in in the Wiki I wrote:
Not saying that doing things the hard way is wrong, just trying to help.