Re: [PATCH v3] scripts: Makefile.lib: generate dsdt_generated.c instead of dsdt.c