ctxprog wait until interrupt handler is done. This will fix races between generated ctxprogs and interrupt handler. Signed-off-by: Marcin Koƛcielnicki Signed-off-by: Ben Skeggs