Call the platform's restart function instead of duplicating the code