記事のWindows Server 2016でもbootx64.efiをぶっこんでやれば同じく可能