Gracefully handle end of disk images in bare metal `int 0x13`

[tkchia]

• If image file size is not a multiple of the sector size (512 bytes), treat it as being padded with zeros up to a sector boundary
• If, after padding, the sector count during a read is still short, then return the number of sectors successfully read rather than just saying 0