Assessing the Power Consumption of Your S32K MCU-based Designs Before Development