ref: ff6bb63bd33c839f2d83f2964239da807d6d5cab dir: /sys/src/boot/pc/biosload.c/
int biosload = 1; /* enable booting from usb devices if bios permits */