BBC Micro Power supply fix