There is an onboard DC/DC module that converts the 12V to 1.2V or whatever core voltage the chips are running at, along with whatever they're using for IO.
Yes, but what I meant was that it does not effect the "expected at the wall = 72W" number. Like the usage of the fan, the AC/DC power adapter loss, it is included already in the "at the wall numer".