void *hwi_alloc_tag(const char *tagname, unsigned size, unsigned align);
Add a tag structure to the hwinfo section.