Hello list, I've been spending the past couple of days working on getting the kernel working on an ARM board and I ran into a couple of trivial bugs in the mean time. Here are some fixes. Cheers ps: this is my first time using git-send-email. Please point out anything I did wrong.