Ratchet – BIOS flashing toolkit with a built-in MCP server for AI agents