Damjan Marion [off-list ref] wrote:

Is there any "proper" way if fixing bogus machine type sent by 
bootloader (ofcourse except fixing bootloader itself)?

Proper no, as the bootloader is the 'proper' way.

The kludge fix that many distro's seem to use (Debian for example):

http://www.digriz.org.uk/ts78xx/booting-woes#unrecognized.2BAC8-unsupported_machine_ID

In short, what it does is get the first two instructions of a booting 
kernel to load the correct machine ID into r1.  The example there is for 
0x0674 (1652), you can adjust it for your own needs.

Cook the kernel, run the 'fixup' script and you should be okay.

Cheers

-- 
Alexander Clouter
.sigmonster says: Androphobia:
                  	Fear of men.