mali/linux: Missing files