Fixed instructions to use bcmrpi_defconfig; fixes #2