ARM: add Raspberry Pi model B board, using BCM2835 SoC