First of all we convert all the relevant uint64_t's to char arrays. Then we remove the unneeded mask functions that were limited to 64 cores. Also extend the guest functionality and finally rause the number of supported cores to something more sensible, i.e. 256.
v2 changes: * Updates out of Review by Anatoly. * Indentation fixes * resolved missing spinlock around config updates * simplified some loops [1/4] examples/power: change 64-bit masks to arrays [2/4] examples/power: remove mask functions [3/4] examples/power: allow vms to use lcores over 63 [4/4] examples/power: increase max cores to 256
