Если электричества не жалко, то можно линейный стабилизатор поставить, например L78S05CV, или что-то подобное (отечественный вариант КР142ЕН5А тоже подойдет, но у него характеристики хуже). Линейные стабилизаторы надежнее DC-DC преобразователей и дешевле, недостаток - низкий КПД. Возможно потребуется установка радиатора.