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