Just found the solution in FeedWordPress.php as you said – and there I was knee deep in ksas.php pulling my hair out!
If anyone else has the problem, just get rid of the line
var $strip_attrs = array (
array('[a-z]+', 'style'),
in feedwordpress.php.
Thanks Otto!