tablet_mode: Update DPTF profile number in hall_sensor_isr
tablet_mode: Update DPTF profile number in hall_sensor_isr

For the boards with GMR sensors, if we want to support mode-aware DPTF
profiles, we can update DPTF profile number when the common TABLET_MODE
ISR (a.k.a. hall_sensor_isr) is called, so we don't need a board-specific
ISR to handle this operation.

BUG=b:139168228
BRANCH=none
TEST=buildall

Change-Id: Icdb526c0e5e5ba9626f19a0de9332c0d06e8b0a7
Signed-off-by: Philip Chen <3ee404f9ef892bc3fda6e6a76e65843b5fa44db2@google.com>
Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/platform/ec/+/1747061
Reviewed-by: Furquan Shaikh <6be5c96c464778f89679b1062a2e0a6af93d2aa5@chromium.org>
Commit-Queue: Philip Chen <3ee404f9ef892bc3fda6e6a76e65843b5fa44db2@chromium.org>
Tested-by: Philip Chen <3ee404f9ef892bc3fda6e6a76e65843b5fa44db2@chromium.org>

coreboot/chrome-ec,coreboot/chrome-ec,coreboot/chrome-ec,coreboot/chrome-ec,coreboot/chrome-ec,coreboot/chrome-ec