[SeaBIOS] [PATCH 2/2] tcg: Use seabios setup()/prepboot() calling convention for tcg