The MC34063A is pretty widely available - even if you can't order form any distributor, they are so ubiquitous you can find them in almost any USB car cigarette power adapter. It's old, less than stellar efficiency, low frequency, but it does the job, and will work fine for your application.
It's Vmax is 40V so should be fine for 32V in, and should just about handle the output current.