Re: f27, hostname changes from former to current during boot