usb-ohci: Fix logical condition in start_ohci function
virtio-blk: Fix indentation for vring_get_buf call
Remove remaining ACPI tooling bits
docs: Add mkdocs build tools for building the seabios.org website
docs: Rename docs/SeaBIOS.md to docs/index.md
docs: Fix document links
sercon: Fix keycodes for F11 and F12
docs: Note v1.17.0 release