Indeed, they used the coreboot nvramtool to set the disable IME flag.

It's still there, but unlike most consumer BIOS can apparently be turned off (whatever that means to Intel.)

Personally, I don't hold a lot of hope outdated on-chip minix OS can't be exploited/activated anyway. =3