[PATCH] pxe_utils: Fix arguments to x86 zboot