We now add about 10k, not 6k, when lguest support is compiled in.
Signed-off-by: NRusty Russell <rusty@rustcorp.com.au>