This patch introduces a new GDB tool `dump_mb2i` that dump the
multiboot2 information provided by the bootloader. This tool can be
invoked in the GDB console. For example in vscode:

  -exec dump_mb2i ((kapi::boot::information)bootstrap_information).mbi

The tool expects the address of the loader provided MB2 information as
its only argument.