Update script generates linux config files from others, reducing the burden of maintaining multiple parallel files. Signed-off-by: Emmanuel Ackaouy <ack@xensource.com>