/sys/boot/libstand32/