/plat/marvell/a8k/