Add ACTIVATED_KERNEL_NAME and EXTRA_KERNEL_OPT variables.

Change-Id: Iafc02eeaa6488cb8c44fec55b1363ced0b1973c4
2 files changed
tree: ac1eae6575a680e14b4bebd59804d8001561e8c5
  1. libupgrade/
  2. makehdf