* Richard Henderson <richard.hender...@linaro.org>: > Provide default values that are as close as possible to the > values used by the guest's kernel. > > Signed-off-by: Richard Henderson <richard.hender...@linaro.org>
Reviewed-by: Helge Deller <del...@gmx.de>
