Added boot arguments so that the serial number can be forwarded from u-boot,
to the kernel command line.