[U-Boot] [PATCH v2 12/18] x86: doc: Update information about IGD with SeaBIOS