helping C&K

firmware/hw_layer/ports/cypress/cypress_common.cpp

@@ -158,3 +158,8 @@ int getAdcChannelPin(adc_channel_e hwChannel) {
 }
 
 #endif /* HAL_USE_ADC */
+
+EXTERNC int getRemainingStack(thread_t *otp) {
+    // todo: would stm32 code actually work here since similar Cortex?
+    return 888888;
+}

firmware/hw_layer/ports/kinetis/kinetis_common.cpp

@@ -133,3 +133,8 @@ void jump_to_bootloader() {
 	NVIC_SystemReset();
 }
 #endif /* EFI_DFU_JUMP */
+
+EXTERNC int getRemainingStack(thread_t *otp) {
+    // todo: would stm32 code actually work here since similar Cortex?
+    return 888888;
+}