hw_config: fixup paths to work for .32 kernel

Change-Id: Ibf1f6dd6ad5f5ba2239020c9807ab2b847e0eeca