Due to the severe nature of the bug, Wind River is also issuing a point patch fix, available to all current and non-current customers here: