デフォルトで入ってるらしいBeEFが入ってないのですが、廃止になったのですか？