I'm trying to boot Linux from an external USB on a Samsung laptop but the BIOS (Phoenix Securecore Tiano Setup P03ABH Version) doesn't recognise any USB or other boot options that aren't the WBM no matter what I change.
Here are some pictures of the BIOS menu:
I can't find any firmware upgrades on the internet and, from what I've seen, someone in a Korean blog can see all the options without problems while I can't.
What am I doing wrong?