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