Removed whitespace difference between kernel and user objecttype.h
Removed whitespace difference between kernel and user objecttype.h

zhicheng/seL4,zhicheng/seL4,cmr/seL4,cmr/seL4,cmr/seL4,zhicheng/seL4