[PATCH 042/237] kernel/sys.c: avoid copying possible padding bytes in copy_to_user