Buffered power supplies