[U-Boot] [PATCH 2/2] m28evk: Allow to booting a dt kernel