Hello, I am using debian OS with kernel version 4.19.0-13-amd64. the current documents and steps are tested for the: Ubuntu 16.04.4 – Ubuntu 18.04.1 (Kernel 4.15) Debian 8.5 do I need "new instructions" to update the bios from debian10(kernel 4.19.0-13-amd64) ? or just follow the instructions within the "APN - BIOS programming using H2OFFT_rel1.8.pdf" file and I will stay in a save side? hope to hear from you soon.