Firmware for Aspeed VGA module from the IPMI
