[PATCH 1/1] CI: use OpenSBI 1.3.1 for testing