Fix check for whether PCI device was found

ACPI code always returned -1 for not found, but e1000 was checking for 0.
Make log_add_pte less verbose and more configurable
Add a really simple frame-buffer driver for Bochs BGA