Update types.h: add the multiboot info structure