BIOS guide

It does in fact reference embedded controller

See the above thread for some more context on this discussion