Add post about patching IPMI firmware