The IB disabled issue wouldn't be half bad, but both of those machines are on Arch Linux, and best packages are either Debs or RPMs. At least there are also from-source versions, but I don't think I have the patience for that I guess let's reboot and see if there are any bios knobs. Also add a fan

0 likes 1 replies