PRSDK-7943: board: Fix build issue with C++ on DDR thermal monitor