raspberrypi: tweak readme

Make the readme.txt for the raspberrypi board less misleading regarding the
kernel image file name.

Signed-off-by: Simon Dawson <spdawson@gmail.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>