kernel-module-dyplo: Add driver IRQ improvements

Driver now supports IRQ sharing and detects spurious interrupts.
sd-bootscript: Add "quiet" to kernel commandline

Makes the kernel boot faster and much less clutter on the terminal.
fpga-image.inc: Remove unused variable "VIVADO_EXTRA_COMMANDS"

Is not used any more, so remove it.