haltで電源が切れない。

kurobox.comにあった、haltのバグ。
確かに、電源が切れない。

I have found a tiny "error" in linux-2.6.15/arch/ppc/platforms/linkstation.c :

is:
linkstation_power_off(void)
{
local_irq_disable();
for( ; ; ) ;/* No way to shut power off with software */
out_8((void *)LINKSTATION_SERIAL_0, 0x47); // send shutdown messages
/* NOTREACHED */
}

must be
linkstation_power_off(void)
{
local_irq_disable();
for( ; ; ) /* No way to shut power off with software */
out_8((void *)LINKSTATION_SERIAL_0, 0x47); // send shutdown messages
/* NOTREACHED */
}

なにが違っているのかわからなかったが、よく見るとforのあとのセミコロンが多い。