2018.12.29
The 64 bit kernel works well on Pi3 with a 64 bit environment.

UPDATE-KERNEL.sh and SET-PI-KERNEL.sh work with pi/pi2/pi3.

**** 2015.03.09 ****

UPDATE-KERNEL.sh and SET-PI-KERNEL.sh have been updated to work with rpi
version 2 (armv7).

If you are planning to swap a root filesystem from a pi1 to a pi2 you can run
"sudo ./UPDATE-KERNEL.sh 3.19.1 pi7" followed by "sudo ./SET-PI-KERNEL.sh
3.19.1 pi7" in the /boot directory.

**** 2015.03.07 ****

UPDATE-KERNEL.sh has been updated to do dtb based kernel on rpi.
SET-PI-KERNEL.sh should be installed in /boot and run as root after you
download a new kernel.

Make sure you have current pi firmware as old pi firmware doesn't support dtb
kernels.

Your /boot/config.txt probably needs to be cleaned out (empty works),
as some of the old parameters can confuse a dtb based boot.

There is more info on the web for rpi dtb based kernels, in particular
understanding how to use the overlays.