See the comments from Andy. Recent enough Elkhart Lake BIOS and his patches from last year already provide the timing parameters. Feeling embarrassed I forgot them :-(True, only sda_hold(_time) is u32 and other timing parameters are u16.
Lakshmi: Would you like to send a patch fixing this and get more contributions
to the driver :-)
Thanks Wolfram and Jarkko,
Sure. I will send a patch fixing it.