How to use the coreboot-5917 software??