As suggested by Vladimir Serbienko, add additional verbose output to inform why we selected this specific platform.
modprobe -q still prints error on non-EFI. Redirect stderr instead. Reported by Javier Vasquez.
the function of these files exceeds what can be sanely handled in shell in posix-comaptible way. Also writing it in C extends the functionality to non-UNIX-like OS and minimal environments.