post_upgrade() {
echo ">>see http://www.raspberrypi.org/phpBB3/viewtopic.php?f=29&t=19334&start=100#p216838"
echo ">>on how to use new firmware, must be matched to 3.6.x kernel"
}