fixes in S12DP256 port