TCCBOOT: TinyCC Boot Loader