If you are plugged-in and can offer the device at least a 1-volt Delta T, a bucker may work especially one of the better ones like a DROK. I use these all the time and build small circuits. But remember, there is going to be noticeable "droop" between no load and full load - even three amperes. So the device output needs to be tweaked under load. I build circuits with a Drop Out voltage of .8 another way is to boost then drop. Two converters. Side by side. Use the booster to obtain just enough Delta T then a good DROK bucker to tweak down to the tenth of a volt. The double conversion isn't all that inefficient either. I would recommend something like a 12.4 to 14.4 boost then a 14.4 to 12.00 buck. But the buck must be tweaked under load of whatever Hungarian Movie Actress sensitive device you are powering.