Fairly sure not as I've sorted it before on both a Dell Mini 9 and a Dell Mini 10v. However "BIOS" has moved on since then with this UEFI/EFI/Dual BIOS/3D BIOS business so I've all but given up on Apple and their perfidious ways!
Can you let me know full spec, os and bios revision your running as I know a man who is into this Linux stud etc