Various updates to build with current (released!) stretch.

Revert "u-boot-exynos in stretch now supports XU3/XU4."

There are user reports saying that the version in stretch
doesn't support the EFI variables.

This reverts commit 2e14b6ffa6e6723989d40400e9837ea60ac3b666.

u-boot-exynos in stretch now supports XU3/XU4.

Drop the /etc/default/grub hacks now that Debian ships a kernel with my deferred probe fix.

Add ledtrig-heartbeat to /etc/modules, since the kernel is currently not able to load that automatically. (Blocked by Debian bug #824941, though.)

Fix a comment.

Add support for building the U-Boot MMC boot partition only.

Support building boot images for eMMC devices.

Minor cleanup.

Switch to getopt for more flexible option parsing.

Initial checkin.