Symbol: bootinfo_add