[igorsk]

The platform IS called "Mario".

/*
 * The following uses standard kernel macros define in arch.h in order to
 * initialize the __mach_desc_MARIO_MX data structure.
 */
/* *INDENT-OFF* */
MACHINE_START(MARIO_MX, "Mario Platform")
        /* Maintainer: Lab126, Inc. */
        .phys_io = AIPS1_BASE_ADDR,
        .io_pg_offst = ((AIPS1_BASE_ADDR_VIRT) >> 18) & 0xfffc,
        .boot_params = PHYS_OFFSET + 0x100,
        .fixup = fixup_mxc_board,
        .map_io = mxc_map_io,
        .init_irq = mario_mxc_init_irq,
        .init_machine = mxc_board_init,
        .timer = &mxc_timer,
MACHINE_END

However, there are some mentions of Turing and Nell. I'm not sure where those come in.

mxckpd_keycodes_size = keypad->rowmax * keypad->colmax;
// Point to the appropriate keyboard matrix; it is indexed by
// the module parameter kb_rev
// kb_rev = 0 indicates a Fiona keypad connected to a Mario board
// kb_rev = 1 indicates a Turing board with trackball (prototype build)
// kb_rev = 2 indicates a Turing v0 (prototype) with 5-Way
// kb_rev = 3 indicates a Turing EVT1 or later
// kb_rev = 4 indicates a Nell EVT1
// kb_rev = 5 indicates a Nell EVT2 or later
// The keycode matrix is defined in:
// linux/linux/arch/arm/mach-mx3/mario.c
mxckpd_keycodes = keypad->matrix;

Magnetic sensor driver ("Alps HGDEST011A magnetic sensor") mentions only Turing and Nell, so those could be next gen prototypes? (I don't think there was any mention of magnetic sensor in K2).