chiark / gitweb /
add edd_id tool to match BIOS EDD disk information