#include <device/pci_ops.h>
// FIXME BTEXT console within coreboot has been obsoleted
-// and will go away. The BTEXT code in this file should be
+// and will go away. The BTEXT code in this file should be
// fixed to export a framebuffer console through the coreboot
// table (and possibly make it available for bootsplash use)
// Hence do only remove this if you fix the code.