Similar formatting changes as recent commits for picowatt avs47