[OpenBIOS] [PATCH 14/24] elf: set boot notes in elf_load() if supplied