Patched HPET device and updated TMR device as needed.