[SeaBIOS] RFC: Proposed vfio IGD assignment fw_cfg ABI