Chef: Resetting EAX and EDX when reporting BBs.