feat: added support for waiting on an irq

kernel/tasks/task.h

@@ -9,6 +9,12 @@
 
 typedef void (*task_entrypoint)(void *entry_data);
 
+void task_notify_irq(uint8_t irq_no);
+
+void task_wait_irq(uint16_t irq_bits);
+
+void task_init();
+
 void task_start_first();
 
 void task_switch_next();