#!/usr/bin/env sh
sudo efibootmgr -n 0001
sudo reboot