I can't find a setting in the BIOS that allows me to boot from either of the SD slots. Is it actually possible that either or even both of the slots are not supported as boot devices in the BIOS or am I just missing something here? It seems absurd to have to use an external USB card reader to boot from when there are not one but two slots built into the system....