Noticed this on kernel traffic shortly after noting that the description of extracting Video BIOS in the ADLO paper uses /dev/kcore. I take it that there'd be no problem in creating a more specialised architecture specific device for extracting things like parts of the BIOS.