* build/util/efi-image: Fix up FAT filesystem size calculation:
  - Call mkfs.msdos with -v so we can trace what it's doing.
  - We appear to need 32k headroom, not 24k; this was masked
    by rounding errors and blind luck until grub grew 1.5kB.
  - Break out the magic headroom number into 32+31 to match
    the comment and make the arithmetic more obvious to read.
  - Round file sizes up, not down, so we don't break in future.