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