Raspberry Pi 2b boards are supported, the image can be loaded straight from the firmware by putting it in the boot partition with the same names and configuration that a Linux image would use.
For supported devices and how they are abstracted, arm-raspi2b devices.