acrn-kernel/arch/cris/arch-v10/lib/Makefile