/* max size buffer kprintf needs to print quad_t [size in base 8 + \0] */