[PATCH 4.19 47/50] acpi/arm64: fix next_platform_timer() section mismatch error