sbi_wrapper: Fix invalid include
sbi_wrapper: Fix invalid include

Unfortunately, some tooling misconfiguration lead to wrongly included
headers. This should be fixed now, hopefully

cksystemsteaching/selfie,cksystemsteaching/selfie,ChristianMoesl/selfie,ChristianMoesl/selfie,cksystemsteaching/selfie