Hi there,
my best guess, as to the reason for the problem you are facing is, that the file size for the F11 BIOS is a little bigger than the F7 BIOS.
When the BIOS update file is larger than the existing BIOS it is advised to use the @BIOS utility to upgrade and this is what I would do to flash the F11 BIOS.