... anyway, I noticed to compile simple errors in clk.c and gpio.c when compiled for ARM in Patch 0002, v2 of this patch is now at https://drive.google.com/file/d/0B-OEhM3f0eCtNXNUN01ETThZLWs/edit?usp=sharing (I should have compiled this not just in the sandbox mode, but also for my target. Grmpf.)