Bringing up a second core

[Liblor]

• [x] Get a new KCB by retyping a RAM cap to ObjType_KernelControlBlock.
• [x] Get and load the CPU and boot driver binary.
• [x] Relocate the boot and CPU driver. The boot driver runs with a 1:1 VA->PA mapping.
• [x] Allocate a page for the core data struct
• [x] Allocate stack memory for the new cpu driver (at least 16 pages)
• [x] Fill in the core data struct
• [x] Find the CPU driver entry point. Look for the symbol "arch_init".
• [x] Find the boot driver entry point. Look for the symbol "boot_entry_psci"
• [x] Flush the cache.
• [x] Call the invoke_monitor_spawn_core with the entry point of the boot driver and pass the (physical, of course) address of the boot struct as argument.
• [x] Fix bugs and get it runnin'
• [x] Refactor the spaghetti code
  • [x] load and reloc
  • [x] core_data initialization
• [x] free resources on error (caps, slots, mapped pages)
  • done, see remarks: https://github.com/Liblor/advanced_operating_systems_2020/pull/110#issuecomment-616171037

[abertschi]

thoughts on error handling: https://github.com/Liblor/advanced_operating_systems_2020/blob/27685882cbd00debbda3886efcfa3f3512e27928/lib/aos/coreboot.c#L526-L532

[abertschi]

112