ref: 71edca84cb01fe0a58fd3b124dcf4776af56130f dir: /sys/src/boot/pc/nobiosload.c/
int biosload = 0; /* for old machines with broken bioses */