bpb_get_ExtFlags32
mdb_printf("0x%04x", bpb_get_ExtFlags32(bpb));
if (VALID_EXTFLAGS(bpb_get_ExtFlags32(bpb)))