bootinfo_next
bi = bootinfo_next(bi)) {
paddr_t bi_end = (paddr_t)bootinfo_next(bi);
for (; bi->bi_tag != BI_LAST; bi = bootinfo_next(bi)) {