Pi ROM 2016-01-07 build fail.

I note that the beta Pi ROM build is becalmed at 2016-01-03.

An attempted build, on a Mk2 RPi, from the daily source code archive 2016-01-07 fails :-

Starting phase install_rom ...

HAL_BCM2835 (mixed.RiscOS.Sources.HAL.BCM2835)...
amu -E  install_rom INSTDIR=RAM::RamDisc0.$.ROOL.BCM2835Dev.Install.ROOL.BCM2835.RISC_OS COMPONENT=HAL_BCM2835 TARGET=BCM2835
objasm -depend !Depend    -ihdr -i<Hdr$Dir>.Global -i<Hdr$Dir>.Interface -i<Hdr$Dir>.Interface2 -pd "APCS SETS \"APCS-32\"" -pd "Machine SETS \"RPi\"" -pd "UserIF SETS \"Raspberry\"" -APCS 3/nofp/noswst -o o.Top s.Top
ARM AOF Macro Assembler 4.03 (Acorn Computers Ltd) [15 Oct 2015]
Warning: Instruction not supported on targeted CPU at line 224 in file s.Top
  224 00001d30         MSR     elr_hyp, lr
Warning: Instruction not supported on targeted CPU at line 225 in file s.Top
  225 00001d34         ERET
tagbuffer at FC001070
SDHCI at FC00039C
Error: Undefined symbol at line 21 in macro HALEntry
 at line 515 in file s.Top
   21 00002150         ASSERT  (. - HAL_EntryTable) / 4 = EntryNo_HAL_ATAControllerInfo
Assembly terminated:
1 Error, 2 Warnings
AMU: *** exit (1) ***

AMU: *** 'install_rom' not re-made because of errors ***

Error running make install_rom on module 'HAL_BCM2835'.
Fatal error running make install_rom on module 'HAL_BCM2835'.
Batched errors...
Error running make install_rom on module 'HAL_BCM2835'.

All good now, 2016-01-09. Many thanks.