/sys/boot/i386/btx/lib/