解決…したのかな？BIOSセッティングにUSB Device Boot Priorityってのがあって、それをHighからLowに変えればいい、ということです。結局HPのサポートに聞いたら教えてくれました。なんだ、最初からあったんじゃない。すいませんでした…。

しかし、最初に聞いたときには「ない」っていう答えだったんですよね。どうも社内でもこのBIOSの変更についてはあまり把握していらっしゃらかったようで。