bootarg32_t
bootarg32_t *q;
for (q = (bootarg32_t *)bootinfo;
q = (bootarg32_t *)(((char *)q) + q->ba_size)) {