ACPI, x86/boot: make acpi_nobgrt static