bootinfo_get_u32
switch (bootinfo_get_u32(bi)) {
bid->bootinfo_machtype = bootinfo_get_u32(bi);
switch (bootinfo_get_u32(bi)) {
switch (bootinfo_get_u32(bi)) {
uint32_t qvers = bootinfo_get_u32(bi);