You may already know this but getting 12V out of a 15V PD is relatively straightforward with either a linear regulator (less ripple but less efficient) or a buck converter (more ripple but more efficient). The Internet is full of very inexpensive boards that do all that.