Fix bootloader compilation
Revamp IPC API (channels are now one-direction only!) and get rid of all IPC code