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