Thanks for the testing, indeed this is the case of a bios bug, with the patched kernel we have now:
[ 16.213098] SP5100 TCO timer: mmio address 0xfec000f0 already in use
sp5100_tco sees the address is already used now and doesn't load. The fix is on its way to stable, so should soon appear in a stable update and ubuntu kernel.
Thanks for the testing, indeed this is the case of a bios bug, with the patched kernel we have now:
[ 16.213098] SP5100 TCO timer: mmio address 0xfec000f0 already in use
sp5100_tco sees the address is already used now and doesn't load. The fix is on its way to stable, so should soon appear in a stable update and ubuntu kernel.