These are ARM Chromebooks though so there is no conventional bios to flash.

They have u-boot with support for booting external media turned off so all you need to do is turn that on and make bootable media.

http://archlinuxarm.org/platforms/armv7/samsung/samsung-chro...