SYS_compat_12_oreboot
{ SYS_compat_12_oreboot, 0, (sy_call_t *)compat_12_sys_reboot },
{ SYS_compat_12_oreboot, "compat_12" },