[PATCH 05/40] x86: Tidy up use of CONFIG_ACPIGEN