fyi:

How to Use New Phoenix Bios Mod Tool to Modify Phoenix/Dell/Insyde/EFI Bios Files

i'm just saying maybe there is a super genius among us in the samsung forums