post_install() {
  echo "CONFIG_DEBUG_INFO is disabled on default. You need to recompile"
  echo "the kernel with CONFIG_DEBUG_INFO enabled."
}
