Fix for a warning introduced with the patch for netconsole support. Signed-off-by: Daniele Venzano