satconfig: only warn about changed _assumed_ symbols

Signed-off-by: Vegard Nossum <vegard.nossum@oracle.com>