Re: [PATCH] board: .gitignore: replace dsdt.c by dsdt_generated.c