Incorporates bug fix in speculation on hardware: removes duplicate messages to extended controller.