Generate the correct OS value for HaLVM