kernel: lock block device before reading from it

init/main.c

@@ -117,7 +117,10 @@ void kernel_init(uintptr_t arg)
 		struct device *disk_dev = cast_to_device(disk);
 		size_t nread = 0;
 
+		device_lock(disk_dev);
 		status = device_read(disk_dev, buf, 1, 32, &nread, 0);
+		device_unlock(disk_dev);
+
 		if (status == KERN_OK) {
 			printk("read %zu bytes from /dev/block/disk0:", nread);
 			for (int i = 0; i < sizeof buf; i++) {