Alessandro Rubini authored May 22, 2017 and Grzegorz Daniluk committed Jun 30, 2017

This is a logic &, not an aritmetic one. So "&&" not "&".  The change
has no effect, because the two operands are verified to always be 0 or
1, but what we had was conceptually wrong and forced me to verify.

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>