kPlatformSbi
gKernelArgs.arch_args.machine_platform = kPlatformSbi;
case kPlatformSbi: {
if (gPlatform == kPlatformSbi) {
case kPlatformSbi:
if (gPlatform == kPlatformSbi) {
case kPlatformSbi: {
case kPlatformSbi:
case kPlatformSbi:
case kPlatformSbi: {
case kPlatformSbi: {