trupeace's private branch for arm10c kernel study