For the HP ProBook 640 G2 (model number: or similar variants), the BIOS bin file contains not just the UEFI boot code, but also: