Help compiling Genode on hw_rpi