In case we encounter a bad operation in do_ops() something is really
broken and it's better to BUG().
Signed-off-by: NRichard Weinberger <richard@nod.at>