まぁ結論から言えばできなかったのですが。
やりかたはTech/libsmbios dellBiosUpdateに書いてあります。
ただし、今現在でhttp://linux.dell.com/repo/firmware/bios-hdrs/にはまだBIOSがありません。
F11/F12キーが追加されるので使ってみたかったのですが…。まぁSDカードからブートできるようになった、とかではないので、今のままでもいいような気がしています。
やりかたはTech/libsmbios dellBiosUpdateに書いてあります。
ただし、今現在でhttp://linux.dell.com/repo/firmware/bios-hdrs/にはまだBIOSがありません。
F11/F12キーが追加されるので使ってみたかったのですが…。まぁSDカードからブートできるようになった、とかではないので、今のままでもいいような気がしています。