Re: [PATCH] vexpress64: semi_defconfig: disable CRC32 support