Thank you Martin for replying.
I did some further investigation, and have resolved the problem with PROCHOT. I had been testing the machine at work, where I only had a 45W AC adapter, rather than the standard 130W one. The 45W AC adapter is enough to charge the laptop. However, when using...