syslinux: implement initial kernel loading function