boot32_read
#define READ(f, b, c) boot32_read((f), (void *)LOADADDR(b), (c))
extern ssize_t boot32_read(int, void *, size_t);