SPI device migration (#490)

- Implement SPI devices in dts files for all devices
- Removed `tt::hal::spi` HAL and its configurations
- Fix for devicetree generator "boolean" support
- Remove unused custom locks in all `DisplayDevice` implementations
- Fixed some bugs with devices
- Updated XPT2046 driver
- Fix for `WifiEsp` deadlock
- Export a lot of new `math.h` symbols with `tt_init.cpp`
- Created `SpiDeviceLock` in `TactilityCore` as a wrapper for kernel SPI locking
- Improved `TactilityKernel` SPI driver.

TactilityKernel/Bindings/spi-controller.yaml

@@ -0,0 +1 @@
+description: SPI controller

TactilityKernel/Include/tactility/concurrent/recursive_mutex.h

@@ -12,15 +12,14 @@ extern "C" {
 
 struct RecursiveMutex {
     QueueHandle_t handle;
+    // TODO: Debugging functionality
 };
 
 inline static void recursive_mutex_construct(struct RecursiveMutex* mutex) {
-    check(mutex->handle == NULL);
     mutex->handle = xSemaphoreCreateRecursiveMutex();
 }
 
 inline static void recursive_mutex_destruct(struct RecursiveMutex* mutex) {
-    check(mutex->handle != NULL);
     check(xPortInIsrContext() != pdTRUE);
     vSemaphoreDelete(mutex->handle);
     mutex->handle = NULL;