get HOS building again on Ubuntu 17.04 with GCC 6

kernel/fs/ext2/Ext2OpenFile.cpp

@@ -29,7 +29,7 @@ Ext2OpenFile::Ext2OpenFile(Ext2fs *fs, u32_t inum, int mode)
 	myBlockCacheStatus = 0;		/* 0: invalid; 1: valid; 2: dirty */
 	fs->readInode(inum, &myInode);
 	myCache = new Ext2BlockCache(fs, inum, &myInode);
-	lock(&Ext2OpenFileListLock);
+	lockit(&Ext2OpenFileListLock);
 	if ((mode & VFS_MODE_RW_MASK) == VFS_MODE_WRITE)
 	{
 		if ((mode & VFS_MODE_WRITE_MASK) == VFS_MODE_TRUNCATE)
@@ -62,7 +62,7 @@ Ext2OpenFile::Ext2OpenFile(Ext2fs *fs, u32_t inum, int mode)
 Ext2OpenFile::~Ext2OpenFile()
 {
 	/* remove ourselves from the open file list */
-	lock(&Ext2OpenFileListLock);
+	lockit(&Ext2OpenFileListLock);
 	u32_t size = Ext2OpenFileList->size();
 	for (u32_t i = 0; i < size; i++)
 	{