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