Platform: Use registry to retrieve OS name information