resource_size_t can be a 64 bits value. Since this is just a printk, we'll
cast it to a u32.
Signed-off-by: Samuel Ortiz <sameo@openedhand.com>