HIFIVE_BBL_GUID
NULL, /* HiFive BBL */ HIFIVE_BBL_GUID },
{ 0xB4, -1, "HiFive BBL", HIFIVE_BBL_GUID },