[PATCH 5.4 65/69] acpi/arm64: fix next_platform_timer() section mismatch error