x86: Uses rbx for the initial vcoreid (XCC)
[akaros.git] / kern / arch / x86 / intel.c
2014-09-10 Barret Rhodenx86: initializes the LPC