My Nokia N900 is Broken

Or rather fractured, at least as far as the operating system. It appears that the DSP, a function (I think) of the GPU (PowerVR SGX) is not working as the DMESG command executed in the terminal application results in the following output:

[ 83.651947] WMD_DEH_Notify: ********** DEVICE EXCEPTION **********
[ 83.651977] WMD_DEH_Notify: DSP_SYSERROR, errInfo = 0×300

But due to the very forgiving Debian/Maemo kernel simply works around the issue, by making the CPU work harder, and consuming the batteries quicker. When everyone else was experiencing improved battery life with the release of PR 1.1.1, mine got worse.

Now the issue will be how to get it serviced as I bought it from Expansys out of the U.K. (I’m in Ireland, the Republic of) and there is the question of wither I send it to them, or directly back to Nokia?

The really important question is, when do I want to let go of this fun computer/phone thingy long enough to get it fixed.