Change get_debian_release into set_debian_info, and make the former call the latter. This new library will populate debian.version and debian.codename from the current system. Change-Id: If0d5ed6da359b35e9ef4a6135944c3a7a58848c1