[U-Boot] [PATCH 3/3] configs/topic_miami.h: Correct kernel_size in default environment