arch: alpha: kernel: sprintf(), the minimal buffer length is 20 for "0xffffffffffffffff\n"