The VXL TC3200 has a standard Phoenix Award BIOS - hit the DEL key on power-up in order get into the BIOS setup screens. The boot options are:
In my brief experience this is just a wish list. Whatever you set the boot devices to in the BIOS - including disabling everything - the system appears to try to boot from the LAN first, then anything plugged into any IDE interface, then anything plugged into a USB port. Go figure!
My unit came without any flash, however there is a sticker on the rear panel for a Windows XPe licence.