Confirmed the above on HP DM1 [ 12.014989] SP5100 TCO timer: SP5100 TCO WatchDog Timer Driver v0.01 [ 12.015178] SP5100 TCO timer: mmio address 0xb8fe00 already in use
Confirmed the above on HP DM1
[ 12.014989] SP5100 TCO timer: SP5100 TCO WatchDog Timer Driver v0.01
[ 12.015178] SP5100 TCO timer: mmio address 0xb8fe00 already in use