Load and start 2nd kernel
Split memory in two regions
Set correct bootinfo into core_data
Let core-0 to handle interrupts (1:N model)

m6