Im Bios kannst du eh alles einstellwen was du dafür brauchst

Wobei viel bringt es nicht auch den kernel über FTP zu booten (ausser wenn du den ständig neubaust oder Treiber entwicklen willst di da drinnen fix verbaut sind) und den rest des images kannst du ja auch über NFS von der Entwicklungsumegbung mounten