[U-Boot] [PATCH] odroid: clock: set aclk_cores to 200MHz