3,4c3,4
< # Linux kernel version: 2.6.17-10-generic
< # Tue Dec  5 21:20:15 2006
---
> # Linux kernel version: 2.6.17.14-ubuntu1-fixed-dsdt
> # Wed Dec 20 21:48:58 2006
243a244,245
> CONFIG_ACPI_CUSTOM_DSDT=y
> CONFIG_ACPI_CUSTOM_DSDT_FILE="/home/patrick/spuknik/dsdt.hex"
252d253
< CONFIG_ACPI_INITRD=y
871c872
< CONFIG_STANDALONE=y
---
> # CONFIG_STANDALONE is not set
2574a2576
> # CONFIG_DVB_AV7110_FIRMWARE is not set
3007a3010
> # CONFIG_PSS_HAVE_BOOT is not set