[PATCH 4.14 37/39] acpi/arm64: fix next_platform_timer() section mismatch error