board: raspberrypi: don't generate a marked kernel
authorBaruch Siach <baruch@tkos.co.il>
Thu, 26 Jan 2017 05:36:06 +0000 (07:36 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Thu, 26 Jan 2017 21:35:15 +0000 (22:35 +0100)
commit3cca45ee6d516e9cd21f3bea9ba3d525c1805b47
treee3305ca5dc5de3c0c2f361c2e74f0b472de6c4ee
parent5a09c1990808908416b6435e24a2ee10d7b3d7d3
board: raspberrypi: don't generate a marked kernel

We no longer use the marked kernel.

Cc: Peter Seiderer <ps.report@gmx.net>
Signed-off-by: Baruch Siach <baruch@tkos.co.il>
Reviewed-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
board/raspberrypi/post-image.sh
board/raspberrypi/readme.txt