Move kernel documentation directory
Map device tree as read-only instead of read-write
Add simple spinlock implementation