setup_sdcard.sh: allow machinekit to overide via: --kernel 3.8.13xenomai-bone53

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>