#include "common.h"

void boot_firmware(uint16_t stage);