delos3geur: remove MKBOOTIMG args, change kernel repo name

Change-Id: Ib01205fadf97563923cd24fa6054b5b3bf02eca6
Signed-off-by: Arnav Gosain <nolinuxnoparty@gmail.com>