Yes, Stevie Wonder's 'Happy Birthday' was produced to support making MLK's birthday a national holiday

The song was released on Wonder's 1980 album '"Hotter than July." He regularly sang it in rallies for the national holiday.