"fix missing includes from Simox"

Should be merged after sw/simox/simox!181 (merged)

assigned to @urhrf_tusch

mentioned in merge request sw/simox/simox!181 (merged)

requested review from @reister

marked this merge request as ready

Thanks, @urhrf_tusch !

merged

mentioned in commit 4be72e84