[installer] [target] Add SysRqMagic support for Raspberry Pi: take bcmrpi_cutdown defconfig and produce a .config. Use this at build time