Patch for Dallas DS12887 regarding Intel PC architectures

[Jonathan Larmour]

David Fernandez wrote:
> Hi there,
> 
> This fixes a small bug that causes NMIs being disabled or enabled in PCs
> when using this device.

We should avoid introducing changes #ifdeffed for specific targets in 
generic code, especially so in this case when it's avoidable.

We should allow an override of DS_READ/DS_WRITE so that 
devs/wallclock/i386/pc/current/include/devices_wallclock_i386_pc.inl can 
set its own DS_READ/DS_WRITE. A patch that did this would be great, thanks.

Jifl
-- 
eCosCentric    http://www.eCosCentric.com/    The eCos and RedBoot experts
------["The best things in life aren't things."]------      Opinions==mine