[U-Boot] [PATCH 10/14] x86: doc: Update information about IGD with SeaBIOS