ARM: hawkboard: fix compilation of nand_spl