Changed the device db to start the Xeon Phi driver on core 0 (otherwise it does not get the bootinfo)
Changed the device db to start the Xeon Phi driver on core 0 (otherwise it does not get the bootinfo)

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