[coreboot] [Patch] Fix Kconfig build for M57SLI

[Harald Gutmann]

This patch fixes the build for the dsdt.asl/dsdt.c.

Kconfig builds fine now, but I don't know right now if the resulting image works 
on real hardware.

Sigend-off-by: Harald Gutmann

Regards,
Harald