Has anyone successfully compiled the bootloader? It seems something wrong with the dependence in the Makefiles, because it complains /serialno.c:32: undefined reference to `desig_get_unique_id' Thanks.