After an agonizing several hours, I think I've finally sorted out the thread-race-leading-to-deadlock bug in the bus-to-cpu scheduling algorithm...  Crazy bullshit...