Fixes to ambqi, now solution-sound.