[U-Boot] __kernel_size_t vs size_t which to use