rpi2 support

[Dave Thompson]

Thanks for the quick replies
rpi have only sold 7M, so not that big in the grand scheme of things
But the rpi2 has only been out for 8 months, 
I am sure it will be popular

And now,, out only a few days,, the pizero, a $5 board
Essentially an "A" without networking but 40 GPIO pin header
I bet they will sell a lot of them  (BCM2835)

For me, I think I will do some version of kexec,
there are 3
A bootloader is kind of overkill, sledgehammer to kill flies
thanks
dave thompson