XXX nobios

*** 85,94 ****
--- 85,97 ----
  static void
  set_console_mode(uint8_t val)
  {
          struct bop_regs rp = {0};
  
+         if (!bios_calls_available)
+                 return;
+ 
          rp.eax.byte.ah = 0x0;
          rp.eax.byte.al = val;
          rp.ebx.word.bx = 0x0;
  
          BOP_DOINT(bootops, 0x10, &rp);