How much support do you have for people who want to hack the BIOS? Specifically, I wouldn’t mind trying to install CoreBoot and disable the IME. Obviously, I won’t come crying to mommy if I brick my machine, but I wonder if, say, the JTAG port is accessable and relevant documentation is available somewhere.