Everyone switched to the nifty variadic type.

Signed-off-by: Avi Kivity <avi@cloudius-systems.com>