samsung: tizen_amlogic: add support for optional mainline kernel boot