Ja, einfachste Möglichkeit wäre wohl mit dem Spannungsregler 7809.