So I searched in the seabios docs to se how change the boot order, and while deadly simple in principle (just add the bootorder file, with the devices order in it) the problem is that deriving the ...