Думал-думал.
И внезапне вспомнил, что в заначке лежат L7986 (вообще их таких целое семейство, от L7980 до L7987.. мож, ещё какие появились) - более-менее обычный buck, но с возможностью внешней синхронизации и с типовой схемой включения в режиме неинвертирующего buck-boost с совершенно тривиальной одинарной индуктивностью (без всяких там двухобмоточных и прочих tapped inductors). Эта схема есть в даташите, она же есть в eDesignSuite. Готовое решение (с дисклеймером, что "мы тут никакой ответственности не несём", разумеется) содержит только один диффьситный элемент - хороший сильноточный мосфет (разумеется, от st.com). В Москве таких нигде в пределах досягаемости нету, буду ставить замену - параметры схемы будут слегка похуже, но всё в пределах разумных допущений.
Итого, на входе 8..20 вольт. на выходе 13.9 вольта / 0.5А (за этим преобразователем будет стоять линейный регулятор):

Такую уже неудобно макетировать, остаётся уповать на то, что дисклеймер хоть и предупреждает, но всё-таки...