如何恢复Windows EFI分区(UPDATED on 08-10)

我在安装完Linux系统之后，BIOS竟然找不到Windows的EFI分区了，本文记录了这个问题的解决方法。