@freemo actually it did boot up in the end but it took a lot of time (a lot). Apparently freq scaling works, but it didn't lower the temperature.