Desactivate arduino leonardo BIOS

Hi,

I saw that it was possible on Lattepanda Alpha to desactivate the Arduino onboard in bios.


I search on my Lattepanda 4gb/64gb the same option (Arduino Power Control) in the bios but i didn't find it.

Is there a way to desactivate Arduino Leonardo on Lattepanda 4gb ?

Thanks a lot.