void *hwi_off2tag(unsigned off);
Note:
Although the hwi_off2tag() function resides
in the C library (proto in <hw/sysinfo.h>),
the function is still usable from startup programs.
Given a byte offset from the start of the hwinfo
section, return a pointer to the hwinfo tag structure.