Switch kernel builds away from using xargo

Use cargo's 'build-std=core,alloc' instead.

Also: Cargo is now given the complete path to the target specific JSON file. This forces the use of the JSON file (the file is silently ignored if the target in question was built into the rust compiler).