Remove dead code.
authorRonald G. Minnich <rminnich@google.com>
Fri, 21 Mar 2014 22:41:55 +0000 (15:41 -0700)
committerRonald G. Minnich <rminnich@google.com>
Fri, 21 Mar 2014 22:41:55 +0000 (15:41 -0700)
commitefdc5b56ac85905e2b3088b7f0b0fdbb20496c8e
tree8c894281d12bb356f2db6ea33b950cdb8251af20
parent6f7942931bc6dd3c97a100c686da4759c4e7b191
Remove dead code.

No longer used and can't even really be configured.

Signed-off-by: Ronald G. Minnich <rminnich@google.com>
kern/arch/x86/init.c