<multibuild>
  <flavor>raspberrypi-kernel</flavor>
  <flavor>kernel-rt</flavor>
</multibuild>
