Hmm, OK. Thanks for the reply.
I don't need to try it now anyway, because pulling all the major components out and plugging them back in seems to have fixed it. Probably a loose power connector somewhere, since it now boots quite happily. I'm not much of a hardware guy so it was an interesting experience.