Hi, I just want to boot my Mac from an external USB HDD as the internal HDD has died. When I boot my Mac and press the "Option key" I'm given four options: 1. Macintosh HD 2. Recovery 10.10.2 3. EFI Boot 4. Recovery 10.12.1 Thank you!