[ASK] Make L4 + Fiasco ISO to boot in pandaboard