Change managed memory base to 0xC000'0000, @argp's fixes for ARM64 build and panic log reports.