Move IRQ state (IDT, dispatch table) inside kcb.
Move IRQ state (IDT, dispatch table) inside kcb.

Allows us to restore the IDT state on updates.

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