If the BIOS allows you to select a boot device but blocks settings modification, you can use a portable DOS-based tool.