Looks like K12 SOCs will have x86 and ARM cores. I'm guessing HSA will be involved.