How to restart a mac using the keyboard