84180e1158
(mostly based on pmax) - pass symbol info from bootloader to kernel via bootinfo (currently bootinfo is allocated in the bootloader and copied by kernel later; maybe we should rethink about this) - use passed bootinfo to initialize ksyms(4) in kernel - remove options SYMTAB_SPACE from kernel config files - bump bootloader version