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