[OpenBIOS] [PATCH 3/4] SPARC32: switch TCX driver over to FCode