rpi-userland and libcoffi are not strictly required to boot up the Raspberry Pi, so remove them from the defconfig. Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>