linux-raspberrypi: add ENABLE_CMA options to kernel command line