Some changes in kaluga boot process for app cores. For intel HW ACPI processor id seems to start at one so we have to generate our own IDs like in spawnd.
Some changes in kaluga boot process for app cores. For intel
HW ACPI processor id seems to start at one so we have to generate
our own IDs like in spawnd.

BarrelfishOS/barrelfish,kishoredbn/barrelfish,8l/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,linusyang/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,mslovy/barrelfish,kishoredbn/barrelfish,linusyang/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,mslovy/barrelfish,linusyang/barrelfish,mslovy/barrelfish,8l/barrelfish,mslovy/barrelfish,utsav2601/cmpe295A,utsav2601/cmpe295A,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,8l/barrelfish,8l/barrelfish,mslovy/barrelfish,mslovy/barrelfish,utsav2601/cmpe295A,linusyang/barrelfish,linusyang/barrelfish,utsav2601/cmpe295A,8l/barrelfish,utsav2601/cmpe295A