This should fix the issue. The kernel compiles and boots with the patch. Please consider that I'm not an experienced kernel developer or C programmer. Thanks to bernard_ at irc.freenode.net#ubuntu-kernel! -- Compile error with ACPI off https://launchpad.net/bugs/53533