os_support: Adjust an outdated #endif comment