PKGBUILDs/core/linux-raspberrypi/linux-raspberrypi.install

# arg 1:  the new package version
# arg 2:  the old package version

KERNEL_NAME=-raspberrypi
KERNEL_VERSION=3.1.9-16-ARCH+

post_install () {
  # updating module dependencies
  echo ">>> Updating module dependencies. Please wait ..."
  depmod ${KERNEL_VERSION}
}

post_upgrade() {
  if grep "^[^#]*[[:space:]]/boot" etc/fstab 2>&1 >/dev/null; then
    if ! grep "[[:space:]]/boot" etc/mtab 2>&1 >/dev/null; then
      echo "WARNING: /boot appears to be a seperate partition but is not mounted."
      echo "         You probably just broke your system. Congratulations."
    fi
  fi

  # updating module dependencies
  echo ">>> Updating module dependencies. Please wait ..."
  depmod ${KERNEL_VERSION}
  echo ">>>Edit /boot/cmdline.txt and add sdhci-bcm2708.cycle_delay=1000 "
}